Skip to content

Bazel installer: Retry ripunzip step.#17102

Merged
criemen merged 4 commits into
mainfrom
criemen/installer-ripunzip
Jul 31, 2024
Merged

Bazel installer: Retry ripunzip step.#17102
criemen merged 4 commits into
mainfrom
criemen/installer-ripunzip

Conversation

@criemen

@criemen criemen commented Jul 30, 2024

Copy link
Copy Markdown
Collaborator

Ripunzip is great, but occasionally bugs out due to a parallelism issue. As we don't want this to fail CI, retry the entire ripunzip/installation step up to 3 times.
We need to clean up the working directory as ripunzip doesn't support overwriting files. I've not been able to test this with the original issue (it doesn't seem to reproduce locally for me), but I injected another error and got 3 retries of installation.

Ripunzip is great, but occasionally bugs out due to a parallelism issue.
As we don't want this to fail CI, retry the entire ripunzip/installation step
up to 3 times.
We need to clean up the working directory as ripunzip doesn't support overwriting
files. I've not been able to test this with the original issue (it doesn't seem
to reproduce locally for me), but I injected another error and got 3 retries
of installation.
@criemen criemen marked this pull request as ready for review July 30, 2024 16:45
@criemen criemen requested a review from a team July 30, 2024 16:46
Comment thread misc/bazel/internal/install.py Outdated
rmdir(destdir)


class RetryException(Exception):

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

where is this used? Maybe this should be raised in line #120?

@criemen criemen Jul 31, 2024

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's a leftover, removed. Good catch!

@oscarsj oscarsj left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! 🚀

@criemen criemen merged commit d75da82 into main Jul 31, 2024
@criemen criemen deleted the criemen/installer-ripunzip branch July 31, 2024 10:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants